I. S. Anureev: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Professional Depositors and Interest Rate Risks for Banks: Russian Case of Significant Fluctuation of Exchange Rate and Federal Fund Rate in 2014-15

Vladimirovitch, Anureev Sergey

Journal:

Mediterranean Journal of Social Sciences

Year:

2015

Language:

english

File:

PDF, 257 KB

english, 2015

2

Dedicative Verification of Reflex Programs

Anureev, I. S., Garanina, N. O., Lyakh, T. V., Rozov, A. S., Zyubin, V. E., Gorlatch, S. P.

Journal:

Programming and Computer Software

Year:

2020

File:

PDF, 619 KB

2020

3

Operational ontological approach to formal programming language specification

Journal:

Programming and Computer Software

Year:

2009

Language:

english

File:

PDF, 149 KB

english, 2009

4

[IEEE 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) - Novosibirsk, Russia (2019.10.21-2019.10.27)] 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) - Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

Liakh, Tatiana, Anureev, Igor, Rozov, Andrei, Garanina, Natalia, Zyubin, Vladimir

Year:

2019

Language:

english

File:

PDF, 402 KB

english, 2019

5

[IEEE 2019 International Siberian Conference on Control and Communications (SIBCON) - Tomsk, Russia (2019.4.18-2019.4.20)] 2019 International Siberian Conference on Control and Communications (SIBCON) - Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics

Anureev, Igor, Garanina, Natalia, Liakh, Tatiana, Rozov, Andrei, Schulte, Horst, Zyubin, Vladimir

Year:

2019

Language:

english

File:

PDF, 104 KB

english, 2019

6

[IEEE 2020 International Russian Automation Conference (RusAutoCon) - Sochi, Russia (2020.9.6-2020.9.12)] 2020 International Russian Automation Conference (RusAutoCon) - The Post Language: Process-Oriented Extension for IEC 61131-3 Structured Text

Bashev, Vladislav, Anureev, Igor, Zyubin, Vladimir

Year:

2020

File:

PDF, 522 KB

2020

7

C program verification in SPECTRUM multilanguage system

V. A. Nepomniaschy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky

Journal:

Automatic Control and Computer Sciences

Year:

2011

Language:

english

File:

PDF, 156 KB

english, 2011

8

Conflict resolution in multi-agent systems with typed relations for ontology population

Garanina, N. O., Sidorova, E. A., Anureev, I. S.

Journal:

Programming and Computer Software

Year:

2016

Language:

english

File:

PDF, 297 KB

english, 2016

9

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

V. A. Nepomniaschy, I. S. Anureev, A. V. Promskii

Journal:

Programming and Computer Software

Year:

2003

Language:

english

File:

PDF, 107 KB

english, 2003

10

Generation of correctness conditions for imperative programs

N. V. Shilov, I. S. Anureev, E. V. Bodin

Journal:

Programming and Computer Software

Year:

2008

Language:

english

File:

PDF, 305 KB

english, 2008

11

Deductive verification of telecommunication systems written in C

Journal:

Automatic Control and Computer Sciences

Year:

2013

Language:

english

File:

PDF, 113 KB

english, 2013

12

Towards verification of C# programs: A three-level approach

V. A. Nepomniaschy, I. S. Anureev, I. V. Dubranovskii, A. V. Promsky

Journal:

Programming and Computer Software

Year:

2006

Language:

english

File:

PDF, 217 KB

english, 2006

13

Towards Verification of C Programs. C-Light Language and Its Formal Semantics

V. A. Nepomniaschy, I. S. Anureev, I. N. Mikhailov, A. V. Promskii

Journal:

Programming and Computer Software

Year:

2002

Language:

english

File:

PDF, 93 KB

english, 2002

14

Professional Depositors and Interest Rate Risks for Banks: Russian Case of Significant Fluctuation of Exchange Rate and Federal Fund Rate in 2014-15

Vladimirovitch, Anureev Sergey

Journal:

Mediterranean Journal of Social Sciences

Year:

2015

File:

PDF, 257 KB

2015

15

Verification-Oriented Process Ontology

Garanina, N. O., Anureev, I. S., Borovikova, O. I.

Journal:

Automatic Control and Computer Sciences

Year:

2019

File:

PDF, 1.12 MB

2019

16

C-programs verification based on mixed axiomatic semantics

I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

Journal:

Automatic Control and Computer Sciences

Year:

2011

Language:

english

File:

PDF, 276 KB

english, 2011

17

Typical examples of using the atoment language

Journal:

Automatic Control and Computer Sciences

Year:

2012

Language:

english

File:

PDF, 152 KB

english, 2012

18

[IEEE 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) - Novosibirsk, Russia (2019.10.21-2019.10.27)] 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) - Towards Safe Embedded Systems: IndustrialC Translational Semantics for AVR Microcontrollers *

Rozov, Andrei, Anureev, Igor, Garanina, Natalia, Liakh, Tatiana, Zyubin, Vladimir

Year:

2019

Language:

english

File:

PDF, 266 KB

english, 2019

19

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function

Shilov, N. V., Kondratyev, D. A., Anureev, I. S., Bodin, E. V., Promsky, A. V.

Journal:

Automatic Control and Computer Sciences

Year:

2019

File:

PDF, 1.13 MB

2019

20

Attribute annotations and their use in C program deductive verification

M. M. Atuchin, I. S. Anureev

Journal:

Automatic Control and Computer Sciences

Year:

2012

Language:

english

File:

PDF, 201 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски